C – XSC 2.0: A C++ Class Library for Extended Scientific Computing
نویسنده
چکیده
The original version of the C++ class library C – XSC [4] is about ten years old. But in the last decade the underlying programming language C++ has been developed significantly. Since November 1998 the C++ standard [3] is available and more and more compilers support (most of) the features of this standard. The new version C – XSC 2.0 [2] conforms to the C++ standard. For those who are not familiar with C –XSC let us first motivate the library by quoting essential parts (with slight modifications) from the preface of the book [4]: The programming environment C –XSC (C for eX ̄ tended S ̄ cientific C ̄ omputing) is a powerful and easy to use programming tool, especially for scientific and engineering applications. C – XSC makes the computer more powerful arithmetically and significantly simplifies programming in the field of scientific computing (especially in the field of interval mathematics occasionally called mathematical numerics1). C –XSC is implemented as a numerical class library in the programming language C++ . The speed of digital computers is ever increasing. But at processor speeds of gigaFLOPS it is a significant question whether floating-point arithmetic, which may fail already in simple calculations, is still adequate to be used in computers for huge problems. Mathematicians have contrived algorithms which deliver highly accurate and automatically verified results by dappling mathematical fixed-point theorems. This means that these computations carry their own accuracy control. However, their implementations require suitable arithmetic support and powerful programming tools which were not previously available. The development of C –XSC has aimed at providing these tools within C++. C – XSC is particularly suited for the development of numerical algorithms that deliver highly accurate and automatically verified results, which are essential, for example, in simulation runs where the user has to distinguish between computational artifacts and genuine reactions of the model. Problem-solving functions with automatic result verification have been developed in C – XSC for several standard problems of numerical analysis.
منابع مشابه
C-XSC 2.0: A C++ Library for Extended Scientific Computing
In this note the main features and newer developments of the C++ class library for extended scientific computing C-XSC 2.0 will be discussed. The original version of the C-XSC library is about ten years old. But in the last decade the underlying programming language C++ has been developed significantly. Since November 1998 the C++ standard is available and more and more compilers support (most ...
متن کاملAn Accurate an Efficient Selfverifying Solver for Systems with Banded Coefficient Matrix
In this paper we discuss a selfverifying solver for systems of linear equations Ax = b with banded matrices A and the future adaptation of the algorithms to cluster computers. We present an implementation of an algorithm to compute efficiently componentwise good enclosures for the solution of a sparse linear system on typical cluster computers. Our implementation works with point as well as int...
متن کاملC-XSC and Closely Related Software Packages
C-XSC [11,12] is a C++ class library for verified computations, using interval arithmetic [2]. C-XSC has been developed and maintained for almost twenty years to enable and facilitate the implementation of reliable numerical methods on computers. Today, it is one of the most sophisticated software libraries available for this purpose (most wide-spread alternatives include INTLAB [19], filib++ [...
متن کاملAn MPI Extension for the Use of C-XSC in Parallel Environments
MPI is a common interface for communication in parallel environments. In this document, two strategies to apply MPI to user-defined data types are discussed. Subsequently, two implementations of an MPI extension for the data types contained in the C++ class library C-XSC are presented. Parallel environments and the necessary steps to use C-XSC programs with MPI communication routines in this en...
متن کاملSparse Matrices and Vectors in C-XSC
C-XSC is a C++ library for reliable scientific computing, which provides data types for dense vectors and matrices with real, complex, real interval and complex interval entries. These data types are easy to use and provide many helpful functionalities such as the ability to work with submatrices and subvectors. However, when dealing with sparse vectors, and especially with sparse matrices, the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002